#include <stdio.h>

void Init(void)
{
    printf("Hello ");
}

typedef void (*ctor_t)(void);
ctor_t __attribute__((section(".ctors"))) myInit = &Init;

int main()
{
    printf("world!\n");

    return 0;
}
